Algebra of Polynomially Bounded Sequences and Negligible Functions
نویسندگان
چکیده
منابع مشابه
Algebra of Polynomially Bounded Sequences and Negligible Functions
In this article we formalize negligible functions that play an essential role in cryptology [10], [2]. Generally, a cryptosystem is secure if the probability of succeeding any attacks against the cryptosystem is negligible. First, we formalize the algebra of polynomially bounded sequences [20]. Next, we formalize negligible functions and prove the set of negligible functions is a subset of the ...
متن کاملPolynomially Bounded Sequences and Polynomial Sequences
In this article, we formalize polynomially bounded sequences that plays an important role in computational complexity theory. Class P is a fundamental computational complexity class that contains all polynomial-time decision problems [11], [12]. It takes polynomially bounded amount of computation time to solve polynomial-time decision problems by the deterministic Turing machine. Moreover we fo...
متن کاملFormalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar
In recent years, formal verification applications have attracted significant attention. In particular, verification of the security of cryptosystems has been investigated extensively. In this study, we attempt to develop various mathematical libraries for cryptology using the Mizar proof checking system. Polynomially bounded and negligible functions play very important roles in cryptology. Ther...
متن کاملPolynomially bounded C0-semigroups
We characterize generators of polynomially bounded C0-semigroups in terms of an integrability condition for the second power of the resolvent on vertical lines. This generalizes results by Gomilko, Shi and Feng on bounded semigroups and by Malejki on polynomially bounded groups.
متن کاملInfinitely Peano differentiable functions in polynomially bounded o-minimal structures
Let R be an o-minimal expansion of a real closed field. We show that the definable infinitely Peano differentiable functions are smooth if and only if R is polynomially bounded.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2015
ISSN: 1898-9934,1426-2630
DOI: 10.1515/forma-2015-0029